Merge branch 'asan-ci' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Fri, 10 Jul 2020 13:04:34 +0000 (13:04 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Fri, 10 Jul 2020 13:04:34 +0000 (13:04 +0000)
Asan ci

See merge request GNOME/gtk!2214


Trivial merge